///|
fn example_annotated_collections() -> Unit {
  let a = ([] : Array[Int])
  println(a.length())
  let b = (None : Int?)
  println(b is None)
}
